Keith Colin Smith, 1965-2000

Keith Simmons

Computer scientists use formal verification to attempt to provide guarentees to the users of software about the run time characteristics of a given program. Verification techniques today often require a TCB or Trusted Code Base which due to time or effort constraints, the authors were not able to prove correct. When bugs occure in these pieces, they break down the strong guarentees of formal ve...

Colin Clifford

(In: Rosenblith, W.A. (Ed.), Sensory Communication, Wiley, New York, pp. 303–317). Based on simple behavioural experiments, Reichardt proposed an elegant computational account of motion processing by the visual system of the Chlorophanus beetle. His proposal has been simplified, elaborated and reinvented on at least one occasion but remains the most influential model of visual motion processing...

Colin Diemer

Tropical Geometry is a rapidly developing field at the interface of algebraic geometry and polyhedral combinatorics. In [14] and [42] tropical geometry was related to constructing compactifications of certain non-compact algebraic varieties. To a subvariety X of an algebraic torus there exist compactifications X with boundaries D = X\X with desirable properties, and such that the structure of D...

Glomerulonephritis Keith

Early diagnosis of glomerulonephritis (GN) in the adolescent is important in initiating appropriate treatment and controlling chronic glomerular injury that may eventually lead to end-stage renal disease (ESRD). The spectrum of GN in adolescents is more similar to that seen in young and middle-aged adults than to that observed in prepubertal children. In this article, the authors discuss the cl...

Global burden of dementia in the year 2000 : summary of methods and data sources . Colin